C++ implementation of a Genetic algorithm (GA). A population of binary chromosomes is generated randomly to attempt to solve the Weighted MAX SAT Problem. Parameters of crossover, mutation, population size can be controlled via macros in code.There a